preservation of homotopy

同伦的保存性